<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>toggle_fullscreen_x</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--editor--editwidget.c.html#L1071'>toggle_fullscreen_x</a> 1071 src/editor/editwidget.c     int close_x, toggle_fullscreen_x;</span>
<span class='curline'><a href='../S/src--editor--editwidget.c.html#L1074'>toggle_fullscreen_x</a> 1074 src/editor/editwidget.c     toggle_fullscreen_x = close_x - 3;</span>
<span class='curline'><a href='../S/src--editor--editwidget.c.html#L1106'>toggle_fullscreen_x</a> 1106 src/editor/editwidget.c                 else if (event-&gt;x &gt;= toggle_fullscreen_x - 1 &amp;&amp; event-&gt;x &lt;= toggle_fullscreen_x + 1)</span>
<span class='curline'><a href='../S/src--editor--editwidget.c.html#L1138'>toggle_fullscreen_x</a> 1138 src/editor/editwidget.c             else if (event-&gt;x &gt;= toggle_fullscreen_x - 1 &amp;&amp; event-&gt;x &lt;= toggle_fullscreen_x + 1)</span>
</pre>
</body>
</html>
